Nuprl Definition : fpf-add-single
11,40
postcript
pdf
f
x
:
v
==
f
x
:
v
latex
clarification:
fpf-add-single(
eq
;
f
;
x
;
v
) == fpf-join(
eq
;
f
;
x
:
v
)
latex
Definitions
f
g
,
x
:
v
FDL editor aliases
fpf-add-single
origin